Anteaterusesanexistingtheoreticalalgorithmforcheck-Ingreachability[39] published presentations and documents on DocSlides.